H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 163.92000000000002 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule Main

((toUpper :: Char -> Char) :: Char -> Char)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((toUpper :: Char -> Char) :: Char -> Char)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

toUpper c

| c == '\223' || c == '\255'

= c

| isLower c

= toEnum (fromEnum c - fromEnum 'a' + fromEnum 'A')

| otherwise

= c

is transformed to

toUpper c = toUpper3 c

toUpper2 c True = c

toUpper2 c False = toUpper1 c (isLower c)

toUpper0 c True = c

toUpper1 c True = toEnum (fromEnum c - fromEnum 'a' + fromEnum 'A')

toUpper1 c False = toUpper0 c otherwise

toUpper3 c = toUpper2 c (c == '\223' || c == '\255')

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

mainModule Main

((toUpper :: Char -> Char) :: Char -> Char)

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

mainModule Main

(toUpper :: Char -> Char)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="toUpper",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="toUpper vx3",fontsize=16,color="black",shape="triangle"];3 -> 4[label="",style="solid", color="black", weight=3];
4[label="toUpper3 vx3",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5 -> 9[label="",style="dashed", color="red", weight=0];
5[label="toUpper2 vx3 (vx3 == Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) || vx3 == Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="magenta"];5 -> 10[label="",style="dashed", color="magenta", weight=3];
5 -> 11[label="",style="dashed", color="magenta", weight=3];
5 -> 12[label="",style="dashed", color="magenta", weight=3];
10[label="vx3",fontsize=16,color="green",shape="box"];11[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];12[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];9[label="toUpper2 vx8 (vx8 == Char (Succ vx9) || vx8 == Char (Succ vx10))",fontsize=16,color="black",shape="triangle"];9 -> 16[label="",style="solid", color="black", weight=3];
16[label="toUpper2 vx8 (primEqChar vx8 (Char (Succ vx9)) || vx8 == Char (Succ vx10))",fontsize=16,color="burlywood",shape="box"];1892[label="vx8/Char vx80",fontsize=10,color="white",style="solid",shape="box"];16 -> 1892[label="",style="solid", color="burlywood", weight=9];
1892 -> 17[label="",style="solid", color="burlywood", weight=3];
17[label="toUpper2 (Char vx80) (primEqChar (Char vx80) (Char (Succ vx9)) || Char vx80 == Char (Succ vx10))",fontsize=16,color="black",shape="box"];17 -> 18[label="",style="solid", color="black", weight=3];
18[label="toUpper2 (Char vx80) (primEqNat vx80 (Succ vx9) || Char vx80 == Char (Succ vx10))",fontsize=16,color="burlywood",shape="box"];1893[label="vx80/Succ vx800",fontsize=10,color="white",style="solid",shape="box"];18 -> 1893[label="",style="solid", color="burlywood", weight=9];
1893 -> 19[label="",style="solid", color="burlywood", weight=3];
1894[label="vx80/Zero",fontsize=10,color="white",style="solid",shape="box"];18 -> 1894[label="",style="solid", color="burlywood", weight=9];
1894 -> 20[label="",style="solid", color="burlywood", weight=3];
19[label="toUpper2 (Char (Succ vx800)) (primEqNat (Succ vx800) (Succ vx9) || Char (Succ vx800) == Char (Succ vx10))",fontsize=16,color="black",shape="box"];19 -> 21[label="",style="solid", color="black", weight=3];
20[label="toUpper2 (Char Zero) (primEqNat Zero (Succ vx9) || Char Zero == Char (Succ vx10))",fontsize=16,color="black",shape="box"];20 -> 22[label="",style="solid", color="black", weight=3];
21 -> 301[label="",style="dashed", color="red", weight=0];
21[label="toUpper2 (Char (Succ vx800)) (primEqNat vx800 vx9 || Char (Succ vx800) == Char (Succ vx10))",fontsize=16,color="magenta"];21 -> 302[label="",style="dashed", color="magenta", weight=3];
21 -> 303[label="",style="dashed", color="magenta", weight=3];
21 -> 304[label="",style="dashed", color="magenta", weight=3];
21 -> 305[label="",style="dashed", color="magenta", weight=3];
22[label="toUpper2 (Char Zero) (False || Char Zero == Char (Succ vx10))",fontsize=16,color="black",shape="box"];22 -> 25[label="",style="solid", color="black", weight=3];
302[label="vx10",fontsize=16,color="green",shape="box"];303[label="vx800",fontsize=16,color="green",shape="box"];304[label="vx800",fontsize=16,color="green",shape="box"];305[label="vx9",fontsize=16,color="green",shape="box"];301[label="toUpper2 (Char (Succ vx99)) (primEqNat vx100 vx101 || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="burlywood",shape="triangle"];1896[label="vx100/Succ vx1000",fontsize=10,color="white",style="solid",shape="box"];301 -> 1896[label="",style="solid", color="burlywood", weight=9];
1896 -> 326[label="",style="solid", color="burlywood", weight=3];
1897[label="vx100/Zero",fontsize=10,color="white",style="solid",shape="box"];301 -> 1897[label="",style="solid", color="burlywood", weight=9];
1897 -> 327[label="",style="solid", color="burlywood", weight=3];
25[label="toUpper2 (Char Zero) (Char Zero == Char (Succ vx10))",fontsize=16,color="black",shape="box"];25 -> 30[label="",style="solid", color="black", weight=3];
326[label="toUpper2 (Char (Succ vx99)) (primEqNat (Succ vx1000) vx101 || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="burlywood",shape="box"];1898[label="vx101/Succ vx1010",fontsize=10,color="white",style="solid",shape="box"];326 -> 1898[label="",style="solid", color="burlywood", weight=9];
1898 -> 329[label="",style="solid", color="burlywood", weight=3];
1899[label="vx101/Zero",fontsize=10,color="white",style="solid",shape="box"];326 -> 1899[label="",style="solid", color="burlywood", weight=9];
1899 -> 330[label="",style="solid", color="burlywood", weight=3];
327[label="toUpper2 (Char (Succ vx99)) (primEqNat Zero vx101 || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="burlywood",shape="box"];1900[label="vx101/Succ vx1010",fontsize=10,color="white",style="solid",shape="box"];327 -> 1900[label="",style="solid", color="burlywood", weight=9];
1900 -> 331[label="",style="solid", color="burlywood", weight=3];
1901[label="vx101/Zero",fontsize=10,color="white",style="solid",shape="box"];327 -> 1901[label="",style="solid", color="burlywood", weight=9];
1901 -> 332[label="",style="solid", color="burlywood", weight=3];
30[label="toUpper2 (Char Zero) (primEqChar (Char Zero) (Char (Succ vx10)))",fontsize=16,color="black",shape="box"];30 -> 35[label="",style="solid", color="black", weight=3];
329[label="toUpper2 (Char (Succ vx99)) (primEqNat (Succ vx1000) (Succ vx1010) || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="black",shape="box"];329 -> 334[label="",style="solid", color="black", weight=3];
330[label="toUpper2 (Char (Succ vx99)) (primEqNat (Succ vx1000) Zero || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="black",shape="box"];330 -> 335[label="",style="solid", color="black", weight=3];
331[label="toUpper2 (Char (Succ vx99)) (primEqNat Zero (Succ vx1010) || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="black",shape="box"];331 -> 336[label="",style="solid", color="black", weight=3];
332[label="toUpper2 (Char (Succ vx99)) (primEqNat Zero Zero || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="black",shape="box"];332 -> 337[label="",style="solid", color="black", weight=3];
35[label="toUpper2 (Char Zero) (primEqNat Zero (Succ vx10))",fontsize=16,color="black",shape="box"];35 -> 41[label="",style="solid", color="black", weight=3];
334 -> 301[label="",style="dashed", color="red", weight=0];
334[label="toUpper2 (Char (Succ vx99)) (primEqNat vx1000 vx1010 || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="magenta"];334 -> 339[label="",style="dashed", color="magenta", weight=3];
334 -> 340[label="",style="dashed", color="magenta", weight=3];
335[label="toUpper2 (Char (Succ vx99)) (False || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="black",shape="triangle"];335 -> 341[label="",style="solid", color="black", weight=3];
336 -> 335[label="",style="dashed", color="red", weight=0];
336[label="toUpper2 (Char (Succ vx99)) (False || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="magenta"];337[label="toUpper2 (Char (Succ vx99)) (True || Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="black",shape="box"];337 -> 342[label="",style="solid", color="black", weight=3];
41[label="toUpper2 (Char Zero) False",fontsize=16,color="black",shape="box"];41 -> 49[label="",style="solid", color="black", weight=3];
339[label="vx1000",fontsize=16,color="green",shape="box"];340[label="vx1010",fontsize=16,color="green",shape="box"];341[label="toUpper2 (Char (Succ vx99)) (Char (Succ vx99) == Char (Succ vx102))",fontsize=16,color="black",shape="box"];341 -> 344[label="",style="solid", color="black", weight=3];
342[label="toUpper2 (Char (Succ vx99)) True",fontsize=16,color="black",shape="triangle"];342 -> 345[label="",style="solid", color="black", weight=3];
49[label="toUpper1 (Char Zero) (isLower (Char Zero))",fontsize=16,color="black",shape="box"];49 -> 56[label="",style="solid", color="black", weight=3];
344[label="toUpper2 (Char (Succ vx99)) (primEqChar (Char (Succ vx99)) (Char (Succ vx102)))",fontsize=16,color="black",shape="box"];344 -> 347[label="",style="solid", color="black", weight=3];
345[label="Char (Succ vx99)",fontsize=16,color="green",shape="box"];56 -> 107[label="",style="dashed", color="red", weight=0];
56[label="toUpper1 (Char Zero) (Char Zero >= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && Char Zero <= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) || Char Zero >= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && Char Zero <= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) || Char Zero >= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && Char Zero <= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="magenta"];56 -> 108[label="",style="dashed", color="magenta", weight=3];
56 -> 109[label="",style="dashed", color="magenta", weight=3];
56 -> 110[label="",style="dashed", color="magenta", weight=3];
56 -> 111[label="",style="dashed", color="magenta", weight=3];
56 -> 112[label="",style="dashed", color="magenta", weight=3];
56 -> 113[label="",style="dashed", color="magenta", weight=3];
347 -> 563[label="",style="dashed", color="red", weight=0];
347[label="toUpper2 (Char (Succ vx99)) (primEqNat (Succ vx99) (Succ vx102))",fontsize=16,color="magenta"];347 -> 564[label="",style="dashed", color="magenta", weight=3];
347 -> 565[label="",style="dashed", color="magenta", weight=3];
347 -> 566[label="",style="dashed", color="magenta", weight=3];
108[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];109[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];110[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];111[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];112[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];113[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];107[label="toUpper1 (Char Zero) (Char Zero >= Char (Succ vx32) && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="triangle"];107 -> 120[label="",style="solid", color="black", weight=3];
564[label="Succ vx102",fontsize=16,color="green",shape="box"];565[label="Succ vx99",fontsize=16,color="green",shape="box"];566[label="vx99",fontsize=16,color="green",shape="box"];563[label="toUpper2 (Char (Succ vx164)) (primEqNat vx165 vx166)",fontsize=16,color="burlywood",shape="triangle"];1906[label="vx165/Succ vx1650",fontsize=10,color="white",style="solid",shape="box"];563 -> 1906[label="",style="solid", color="burlywood", weight=9];
1906 -> 585[label="",style="solid", color="burlywood", weight=3];
1907[label="vx165/Zero",fontsize=10,color="white",style="solid",shape="box"];563 -> 1907[label="",style="solid", color="burlywood", weight=9];
1907 -> 586[label="",style="solid", color="burlywood", weight=3];
120[label="toUpper1 (Char Zero) (compare (Char Zero) (Char (Succ vx32)) /= LT && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];120 -> 129[label="",style="solid", color="black", weight=3];
585[label="toUpper2 (Char (Succ vx164)) (primEqNat (Succ vx1650) vx166)",fontsize=16,color="burlywood",shape="box"];1908[label="vx166/Succ vx1660",fontsize=10,color="white",style="solid",shape="box"];585 -> 1908[label="",style="solid", color="burlywood", weight=9];
1908 -> 588[label="",style="solid", color="burlywood", weight=3];
1909[label="vx166/Zero",fontsize=10,color="white",style="solid",shape="box"];585 -> 1909[label="",style="solid", color="burlywood", weight=9];
1909 -> 589[label="",style="solid", color="burlywood", weight=3];
586[label="toUpper2 (Char (Succ vx164)) (primEqNat Zero vx166)",fontsize=16,color="burlywood",shape="box"];1910[label="vx166/Succ vx1660",fontsize=10,color="white",style="solid",shape="box"];586 -> 1910[label="",style="solid", color="burlywood", weight=9];
1910 -> 590[label="",style="solid", color="burlywood", weight=3];
1911[label="vx166/Zero",fontsize=10,color="white",style="solid",shape="box"];586 -> 1911[label="",style="solid", color="burlywood", weight=9];
1911 -> 591[label="",style="solid", color="burlywood", weight=3];
129[label="toUpper1 (Char Zero) (not (compare (Char Zero) (Char (Succ vx32)) == LT) && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];129 -> 139[label="",style="solid", color="black", weight=3];
588[label="toUpper2 (Char (Succ vx164)) (primEqNat (Succ vx1650) (Succ vx1660))",fontsize=16,color="black",shape="box"];588 -> 592[label="",style="solid", color="black", weight=3];
589[label="toUpper2 (Char (Succ vx164)) (primEqNat (Succ vx1650) Zero)",fontsize=16,color="black",shape="box"];589 -> 593[label="",style="solid", color="black", weight=3];
590[label="toUpper2 (Char (Succ vx164)) (primEqNat Zero (Succ vx1660))",fontsize=16,color="black",shape="box"];590 -> 594[label="",style="solid", color="black", weight=3];
591[label="toUpper2 (Char (Succ vx164)) (primEqNat Zero Zero)",fontsize=16,color="black",shape="box"];591 -> 595[label="",style="solid", color="black", weight=3];
139[label="toUpper1 (Char Zero) (not (primCmpChar (Char Zero) (Char (Succ vx32)) == LT) && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];139 -> 151[label="",style="solid", color="black", weight=3];
592 -> 563[label="",style="dashed", color="red", weight=0];
592[label="toUpper2 (Char (Succ vx164)) (primEqNat vx1650 vx1660)",fontsize=16,color="magenta"];592 -> 596[label="",style="dashed", color="magenta", weight=3];
592 -> 597[label="",style="dashed", color="magenta", weight=3];
593[label="toUpper2 (Char (Succ vx164)) False",fontsize=16,color="black",shape="triangle"];593 -> 598[label="",style="solid", color="black", weight=3];
594 -> 593[label="",style="dashed", color="red", weight=0];
594[label="toUpper2 (Char (Succ vx164)) False",fontsize=16,color="magenta"];595 -> 342[label="",style="dashed", color="red", weight=0];
595[label="toUpper2 (Char (Succ vx164)) True",fontsize=16,color="magenta"];595 -> 599[label="",style="dashed", color="magenta", weight=3];
151[label="toUpper1 (Char Zero) (not (primCmpNat Zero (Succ vx32) == LT) && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];151 -> 165[label="",style="solid", color="black", weight=3];
596[label="vx1660",fontsize=16,color="green",shape="box"];597[label="vx1650",fontsize=16,color="green",shape="box"];598[label="toUpper1 (Char (Succ vx164)) (isLower (Char (Succ vx164)))",fontsize=16,color="black",shape="box"];598 -> 600[label="",style="solid", color="black", weight=3];
599[label="vx164",fontsize=16,color="green",shape="box"];165[label="toUpper1 (Char Zero) (not (LT == LT) && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];165 -> 277[label="",style="solid", color="black", weight=3];
600 -> 644[label="",style="dashed", color="red", weight=0];
600[label="toUpper1 (Char (Succ vx164)) (Char (Succ vx164) >= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && Char (Succ vx164) <= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) || Char (Succ vx164) >= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && Char (Succ vx164) <= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) || Char (Succ vx164) >= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) && Char (Succ vx164) <= Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="magenta"];600 -> 645[label="",style="dashed", color="magenta", weight=3];
600 -> 646[label="",style="dashed", color="magenta", weight=3];
600 -> 647[label="",style="dashed", color="magenta", weight=3];
600 -> 648[label="",style="dashed", color="magenta", weight=3];
600 -> 649[label="",style="dashed", color="magenta", weight=3];
600 -> 650[label="",style="dashed", color="magenta", weight=3];
600 -> 651[label="",style="dashed", color="magenta", weight=3];
277[label="toUpper1 (Char Zero) (not True && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];277 -> 289[label="",style="solid", color="black", weight=3];
645[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];646[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];647[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];648[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];649[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];650[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];651[label="vx164",fontsize=16,color="green",shape="box"];644[label="toUpper1 (Char (Succ vx193)) (Char (Succ vx193) >= Char (Succ vx194) && Char (Succ vx193) <= Char (Succ vx195) || Char (Succ vx193) >= Char (Succ vx196) && Char (Succ vx193) <= Char (Succ vx197) || Char (Succ vx193) >= Char (Succ vx198) && Char (Succ vx193) <= Char (Succ vx199))",fontsize=16,color="black",shape="triangle"];644 -> 659[label="",style="solid", color="black", weight=3];
289[label="toUpper1 (Char Zero) (False && Char Zero <= Char (Succ vx33) || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];289 -> 300[label="",style="solid", color="black", weight=3];
659[label="toUpper1 (Char (Succ vx193)) (compare (Char (Succ vx193)) (Char (Succ vx194)) /= LT && Char (Succ vx193) <= Char (Succ vx195) || Char (Succ vx193) >= Char (Succ vx196) && Char (Succ vx193) <= Char (Succ vx197) || Char (Succ vx193) >= Char (Succ vx198) && Char (Succ vx193) <= Char (Succ vx199))",fontsize=16,color="black",shape="box"];659 -> 660[label="",style="solid", color="black", weight=3];
300[label="toUpper1 (Char Zero) (False || Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];300 -> 328[label="",style="solid", color="black", weight=3];
660[label="toUpper1 (Char (Succ vx193)) (not (compare (Char (Succ vx193)) (Char (Succ vx194)) == LT) && Char (Succ vx193) <= Char (Succ vx195) || Char (Succ vx193) >= Char (Succ vx196) && Char (Succ vx193) <= Char (Succ vx197) || Char (Succ vx193) >= Char (Succ vx198) && Char (Succ vx193) <= Char (Succ vx199))",fontsize=16,color="black",shape="box"];660 -> 661[label="",style="solid", color="black", weight=3];
328[label="toUpper1 (Char Zero) (Char Zero >= Char (Succ vx34) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];328 -> 333[label="",style="solid", color="black", weight=3];
661[label="toUpper1 (Char (Succ vx193)) (not (primCmpChar (Char (Succ vx193)) (Char (Succ vx194)) == LT) && Char (Succ vx193) <= Char (Succ vx195) || Char (Succ vx193) >= Char (Succ vx196) && Char (Succ vx193) <= Char (Succ vx197) || Char (Succ vx193) >= Char (Succ vx198) && Char (Succ vx193) <= Char (Succ vx199))",fontsize=16,color="black",shape="box"];661 -> 662[label="",style="solid", color="black", weight=3];
333[label="toUpper1 (Char Zero) (compare (Char Zero) (Char (Succ vx34)) /= LT && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];333 -> 338[label="",style="solid", color="black", weight=3];
662 -> 791[label="",style="dashed", color="red", weight=0];
662[label="toUpper1 (Char (Succ vx193)) (not (primCmpNat (Succ vx193) (Succ vx194) == LT) && Char (Succ vx193) <= Char (Succ vx195) || Char (Succ vx193) >= Char (Succ vx196) && Char (Succ vx193) <= Char (Succ vx197) || Char (Succ vx193) >= Char (Succ vx198) && Char (Succ vx193) <= Char (Succ vx199))",fontsize=16,color="magenta"];662 -> 792[label="",style="dashed", color="magenta", weight=3];
662 -> 793[label="",style="dashed", color="magenta", weight=3];
662 -> 794[label="",style="dashed", color="magenta", weight=3];
662 -> 795[label="",style="dashed", color="magenta", weight=3];
662 -> 796[label="",style="dashed", color="magenta", weight=3];
662 -> 797[label="",style="dashed", color="magenta", weight=3];
662 -> 798[label="",style="dashed", color="magenta", weight=3];
662 -> 799[label="",style="dashed", color="magenta", weight=3];
338[label="toUpper1 (Char Zero) (not (compare (Char Zero) (Char (Succ vx34)) == LT) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];338 -> 343[label="",style="solid", color="black", weight=3];
792[label="vx193",fontsize=16,color="green",shape="box"];793[label="vx196",fontsize=16,color="green",shape="box"];794[label="vx195",fontsize=16,color="green",shape="box"];795[label="vx198",fontsize=16,color="green",shape="box"];796[label="Succ vx193",fontsize=16,color="green",shape="box"];797[label="vx199",fontsize=16,color="green",shape="box"];798[label="Succ vx194",fontsize=16,color="green",shape="box"];799[label="vx197",fontsize=16,color="green",shape="box"];791[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat vx202 vx203 == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="burlywood",shape="triangle"];1917[label="vx202/Succ vx2020",fontsize=10,color="white",style="solid",shape="box"];791 -> 1917[label="",style="solid", color="burlywood", weight=9];
1917 -> 848[label="",style="solid", color="burlywood", weight=3];
1918[label="vx202/Zero",fontsize=10,color="white",style="solid",shape="box"];791 -> 1918[label="",style="solid", color="burlywood", weight=9];
1918 -> 849[label="",style="solid", color="burlywood", weight=3];
343[label="toUpper1 (Char Zero) (not (primCmpChar (Char Zero) (Char (Succ vx34)) == LT) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];343 -> 346[label="",style="solid", color="black", weight=3];
848[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat (Succ vx2020) vx203 == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="burlywood",shape="box"];1919[label="vx203/Succ vx2030",fontsize=10,color="white",style="solid",shape="box"];848 -> 1919[label="",style="solid", color="burlywood", weight=9];
1919 -> 850[label="",style="solid", color="burlywood", weight=3];
1920[label="vx203/Zero",fontsize=10,color="white",style="solid",shape="box"];848 -> 1920[label="",style="solid", color="burlywood", weight=9];
1920 -> 851[label="",style="solid", color="burlywood", weight=3];
849[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat Zero vx203 == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="burlywood",shape="box"];1921[label="vx203/Succ vx2030",fontsize=10,color="white",style="solid",shape="box"];849 -> 1921[label="",style="solid", color="burlywood", weight=9];
1921 -> 852[label="",style="solid", color="burlywood", weight=3];
1922[label="vx203/Zero",fontsize=10,color="white",style="solid",shape="box"];849 -> 1922[label="",style="solid", color="burlywood", weight=9];
1922 -> 853[label="",style="solid", color="burlywood", weight=3];
346[label="toUpper1 (Char Zero) (not (primCmpNat Zero (Succ vx34) == LT) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];346 -> 348[label="",style="solid", color="black", weight=3];
850[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat (Succ vx2020) (Succ vx2030) == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];850 -> 854[label="",style="solid", color="black", weight=3];
851[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat (Succ vx2020) Zero == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];851 -> 855[label="",style="solid", color="black", weight=3];
852[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat Zero (Succ vx2030) == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];852 -> 856[label="",style="solid", color="black", weight=3];
853[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat Zero Zero == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];853 -> 857[label="",style="solid", color="black", weight=3];
348[label="toUpper1 (Char Zero) (not (LT == LT) && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];348 -> 350[label="",style="solid", color="black", weight=3];
854 -> 791[label="",style="dashed", color="red", weight=0];
854[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat vx2020 vx2030 == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="magenta"];854 -> 858[label="",style="dashed", color="magenta", weight=3];
854 -> 859[label="",style="dashed", color="magenta", weight=3];
855[label="toUpper1 (Char (Succ vx201)) (not (GT == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];855 -> 860[label="",style="solid", color="black", weight=3];
856[label="toUpper1 (Char (Succ vx201)) (not (LT == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];856 -> 861[label="",style="solid", color="black", weight=3];
857[label="toUpper1 (Char (Succ vx201)) (not (EQ == LT) && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];857 -> 862[label="",style="solid", color="black", weight=3];
350[label="toUpper1 (Char Zero) (not True && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];350 -> 353[label="",style="solid", color="black", weight=3];
858[label="vx2020",fontsize=16,color="green",shape="box"];859[label="vx2030",fontsize=16,color="green",shape="box"];860[label="toUpper1 (Char (Succ vx201)) (not False && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="triangle"];860 -> 863[label="",style="solid", color="black", weight=3];
861[label="toUpper1 (Char (Succ vx201)) (not True && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];861 -> 864[label="",style="solid", color="black", weight=3];
862 -> 860[label="",style="dashed", color="red", weight=0];
862[label="toUpper1 (Char (Succ vx201)) (not False && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="magenta"];353[label="toUpper1 (Char Zero) (False && Char Zero <= Char (Succ vx35) || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];353 -> 358[label="",style="solid", color="black", weight=3];
863[label="toUpper1 (Char (Succ vx201)) (True && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];863 -> 865[label="",style="solid", color="black", weight=3];
864[label="toUpper1 (Char (Succ vx201)) (False && Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];864 -> 866[label="",style="solid", color="black", weight=3];
358[label="toUpper1 (Char Zero) (False || Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];358 -> 363[label="",style="solid", color="black", weight=3];
865[label="toUpper1 (Char (Succ vx201)) (Char (Succ vx201) <= Char (Succ vx204) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];865 -> 867[label="",style="solid", color="black", weight=3];
866[label="toUpper1 (Char (Succ vx201)) (False || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="triangle"];866 -> 868[label="",style="solid", color="black", weight=3];
363[label="toUpper1 (Char Zero) (Char Zero >= Char (Succ vx36) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];363 -> 369[label="",style="solid", color="black", weight=3];
867[label="toUpper1 (Char (Succ vx201)) (compare (Char (Succ vx201)) (Char (Succ vx204)) /= GT || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];867 -> 869[label="",style="solid", color="black", weight=3];
868[label="toUpper1 (Char (Succ vx201)) (Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];868 -> 870[label="",style="solid", color="black", weight=3];
369[label="toUpper1 (Char Zero) (compare (Char Zero) (Char (Succ vx36)) /= LT && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];369 -> 376[label="",style="solid", color="black", weight=3];
869[label="toUpper1 (Char (Succ vx201)) (not (compare (Char (Succ vx201)) (Char (Succ vx204)) == GT) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];869 -> 871[label="",style="solid", color="black", weight=3];
870[label="toUpper1 (Char (Succ vx201)) (compare (Char (Succ vx201)) (Char (Succ vx205)) /= LT && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];870 -> 872[label="",style="solid", color="black", weight=3];
376[label="toUpper1 (Char Zero) (not (compare (Char Zero) (Char (Succ vx36)) == LT) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];376 -> 498[label="",style="solid", color="black", weight=3];
871[label="toUpper1 (Char (Succ vx201)) (not (primCmpChar (Char (Succ vx201)) (Char (Succ vx204)) == GT) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];871 -> 873[label="",style="solid", color="black", weight=3];
872[label="toUpper1 (Char (Succ vx201)) (not (compare (Char (Succ vx201)) (Char (Succ vx205)) == LT) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];872 -> 874[label="",style="solid", color="black", weight=3];
498[label="toUpper1 (Char Zero) (not (primCmpChar (Char Zero) (Char (Succ vx36)) == LT) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];498 -> 505[label="",style="solid", color="black", weight=3];
873 -> 1172[label="",style="dashed", color="red", weight=0];
873[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat (Succ vx201) (Succ vx204) == GT) || Char (Succ vx201) >= Char (Succ vx205) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="magenta"];873 -> 1173[label="",style="dashed", color="magenta", weight=3];
873 -> 1174[label="",style="dashed", color="magenta", weight=3];
873 -> 1175[label="",style="dashed", color="magenta", weight=3];
873 -> 1176[label="",style="dashed", color="magenta", weight=3];
873 -> 1177[label="",style="dashed", color="magenta", weight=3];
873 -> 1178[label="",style="dashed", color="magenta", weight=3];
873 -> 1179[label="",style="dashed", color="magenta", weight=3];
874[label="toUpper1 (Char (Succ vx201)) (not (primCmpChar (Char (Succ vx201)) (Char (Succ vx205)) == LT) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="black",shape="box"];874 -> 876[label="",style="solid", color="black", weight=3];
505[label="toUpper1 (Char Zero) (not (primCmpNat Zero (Succ vx36) == LT) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];505 -> 513[label="",style="solid", color="black", weight=3];
1173[label="vx206",fontsize=16,color="green",shape="box"];1174[label="vx208",fontsize=16,color="green",shape="box"];1175[label="Succ vx201",fontsize=16,color="green",shape="box"];1176[label="vx207",fontsize=16,color="green",shape="box"];1177[label="Succ vx204",fontsize=16,color="green",shape="box"];1178[label="vx205",fontsize=16,color="green",shape="box"];1179[label="vx201",fontsize=16,color="green",shape="box"];1172[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat vx236 vx237 == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="burlywood",shape="triangle"];1926[label="vx236/Succ vx2360",fontsize=10,color="white",style="solid",shape="box"];1172 -> 1926[label="",style="solid", color="burlywood", weight=9];
1926 -> 1222[label="",style="solid", color="burlywood", weight=3];
1927[label="vx236/Zero",fontsize=10,color="white",style="solid",shape="box"];1172 -> 1927[label="",style="solid", color="burlywood", weight=9];
1927 -> 1223[label="",style="solid", color="burlywood", weight=3];
876 -> 1243[label="",style="dashed", color="red", weight=0];
876[label="toUpper1 (Char (Succ vx201)) (not (primCmpNat (Succ vx201) (Succ vx205) == LT) && Char (Succ vx201) <= Char (Succ vx206) || Char (Succ vx201) >= Char (Succ vx207) && Char (Succ vx201) <= Char (Succ vx208))",fontsize=16,color="magenta"];876 -> 1244[label="",style="dashed", color="magenta", weight=3];
876 -> 1245[label="",style="dashed", color="magenta", weight=3];
876 -> 1246[label="",style="dashed", color="magenta", weight=3];
876 -> 1247[label="",style="dashed", color="magenta", weight=3];
876 -> 1248[label="",style="dashed", color="magenta", weight=3];
876 -> 1249[label="",style="dashed", color="magenta", weight=3];
513[label="toUpper1 (Char Zero) (not (LT == LT) && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];513 -> 520[label="",style="solid", color="black", weight=3];
1222[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat (Succ vx2360) vx237 == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="burlywood",shape="box"];1929[label="vx237/Succ vx2370",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1929[label="",style="solid", color="burlywood", weight=9];
1929 -> 1239[label="",style="solid", color="burlywood", weight=3];
1930[label="vx237/Zero",fontsize=10,color="white",style="solid",shape="box"];1222 -> 1930[label="",style="solid", color="burlywood", weight=9];
1930 -> 1240[label="",style="solid", color="burlywood", weight=3];
1223[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat Zero vx237 == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="burlywood",shape="box"];1931[label="vx237/Succ vx2370",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1931[label="",style="solid", color="burlywood", weight=9];
1931 -> 1241[label="",style="solid", color="burlywood", weight=3];
1932[label="vx237/Zero",fontsize=10,color="white",style="solid",shape="box"];1223 -> 1932[label="",style="solid", color="burlywood", weight=9];
1932 -> 1242[label="",style="solid", color="burlywood", weight=3];
1244[label="Succ vx201",fontsize=16,color="green",shape="box"];1245[label="vx207",fontsize=16,color="green",shape="box"];1246[label="Succ vx205",fontsize=16,color="green",shape="box"];1247[label="vx208",fontsize=16,color="green",shape="box"];1248[label="vx206",fontsize=16,color="green",shape="box"];1249[label="vx201",fontsize=16,color="green",shape="box"];1243[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat vx244 vx245 == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="burlywood",shape="triangle"];1933[label="vx244/Succ vx2440",fontsize=10,color="white",style="solid",shape="box"];1243 -> 1933[label="",style="solid", color="burlywood", weight=9];
1933 -> 1286[label="",style="solid", color="burlywood", weight=3];
1934[label="vx244/Zero",fontsize=10,color="white",style="solid",shape="box"];1243 -> 1934[label="",style="solid", color="burlywood", weight=9];
1934 -> 1287[label="",style="solid", color="burlywood", weight=3];
520[label="toUpper1 (Char Zero) (not True && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];520 -> 528[label="",style="solid", color="black", weight=3];
1239[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat (Succ vx2360) (Succ vx2370) == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1239 -> 1288[label="",style="solid", color="black", weight=3];
1240[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat (Succ vx2360) Zero == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1240 -> 1289[label="",style="solid", color="black", weight=3];
1241[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat Zero (Succ vx2370) == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1241 -> 1290[label="",style="solid", color="black", weight=3];
1242[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat Zero Zero == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1242 -> 1291[label="",style="solid", color="black", weight=3];
1286[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat (Succ vx2440) vx245 == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="burlywood",shape="box"];1935[label="vx245/Succ vx2450",fontsize=10,color="white",style="solid",shape="box"];1286 -> 1935[label="",style="solid", color="burlywood", weight=9];
1935 -> 1292[label="",style="solid", color="burlywood", weight=3];
1936[label="vx245/Zero",fontsize=10,color="white",style="solid",shape="box"];1286 -> 1936[label="",style="solid", color="burlywood", weight=9];
1936 -> 1293[label="",style="solid", color="burlywood", weight=3];
1287[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat Zero vx245 == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="burlywood",shape="box"];1937[label="vx245/Succ vx2450",fontsize=10,color="white",style="solid",shape="box"];1287 -> 1937[label="",style="solid", color="burlywood", weight=9];
1937 -> 1294[label="",style="solid", color="burlywood", weight=3];
1938[label="vx245/Zero",fontsize=10,color="white",style="solid",shape="box"];1287 -> 1938[label="",style="solid", color="burlywood", weight=9];
1938 -> 1295[label="",style="solid", color="burlywood", weight=3];
528[label="toUpper1 (Char Zero) (False && Char Zero <= Char (Succ vx37))",fontsize=16,color="black",shape="box"];528 -> 538[label="",style="solid", color="black", weight=3];
1288 -> 1172[label="",style="dashed", color="red", weight=0];
1288[label="toUpper1 (Char (Succ vx235)) (not (primCmpNat vx2360 vx2370 == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="magenta"];1288 -> 1296[label="",style="dashed", color="magenta", weight=3];
1288 -> 1297[label="",style="dashed", color="magenta", weight=3];
1289[label="toUpper1 (Char (Succ vx235)) (not (GT == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1289 -> 1298[label="",style="solid", color="black", weight=3];
1290[label="toUpper1 (Char (Succ vx235)) (not (LT == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1290 -> 1299[label="",style="solid", color="black", weight=3];
1291[label="toUpper1 (Char (Succ vx235)) (not (EQ == GT) || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1291 -> 1300[label="",style="solid", color="black", weight=3];
1292[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat (Succ vx2440) (Succ vx2450) == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1292 -> 1301[label="",style="solid", color="black", weight=3];
1293[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat (Succ vx2440) Zero == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1293 -> 1302[label="",style="solid", color="black", weight=3];
1294[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat Zero (Succ vx2450) == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1294 -> 1303[label="",style="solid", color="black", weight=3];
1295[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat Zero Zero == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1295 -> 1304[label="",style="solid", color="black", weight=3];
538[label="toUpper1 (Char Zero) False",fontsize=16,color="black",shape="box"];538 -> 548[label="",style="solid", color="black", weight=3];
1296[label="vx2360",fontsize=16,color="green",shape="box"];1297[label="vx2370",fontsize=16,color="green",shape="box"];1298[label="toUpper1 (Char (Succ vx235)) (not True || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1298 -> 1305[label="",style="solid", color="black", weight=3];
1299[label="toUpper1 (Char (Succ vx235)) (not False || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="triangle"];1299 -> 1306[label="",style="solid", color="black", weight=3];
1300 -> 1299[label="",style="dashed", color="red", weight=0];
1300[label="toUpper1 (Char (Succ vx235)) (not False || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="magenta"];1301 -> 1243[label="",style="dashed", color="red", weight=0];
1301[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat vx2440 vx2450 == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="magenta"];1301 -> 1307[label="",style="dashed", color="magenta", weight=3];
1301 -> 1308[label="",style="dashed", color="magenta", weight=3];
1302[label="toUpper1 (Char (Succ vx243)) (not (GT == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1302 -> 1309[label="",style="solid", color="black", weight=3];
1303[label="toUpper1 (Char (Succ vx243)) (not (LT == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1303 -> 1310[label="",style="solid", color="black", weight=3];
1304[label="toUpper1 (Char (Succ vx243)) (not (EQ == LT) && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1304 -> 1311[label="",style="solid", color="black", weight=3];
548[label="toUpper0 (Char Zero) otherwise",fontsize=16,color="black",shape="box"];548 -> 560[label="",style="solid", color="black", weight=3];
1305 -> 866[label="",style="dashed", color="red", weight=0];
1305[label="toUpper1 (Char (Succ vx235)) (False || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="magenta"];1305 -> 1312[label="",style="dashed", color="magenta", weight=3];
1305 -> 1313[label="",style="dashed", color="magenta", weight=3];
1305 -> 1314[label="",style="dashed", color="magenta", weight=3];
1305 -> 1315[label="",style="dashed", color="magenta", weight=3];
1305 -> 1316[label="",style="dashed", color="magenta", weight=3];
1306[label="toUpper1 (Char (Succ vx235)) (True || Char (Succ vx235) >= Char (Succ vx238) && Char (Succ vx235) <= Char (Succ vx239) || Char (Succ vx235) >= Char (Succ vx240) && Char (Succ vx235) <= Char (Succ vx241))",fontsize=16,color="black",shape="box"];1306 -> 1317[label="",style="solid", color="black", weight=3];
1307[label="vx2440",fontsize=16,color="green",shape="box"];1308[label="vx2450",fontsize=16,color="green",shape="box"];1309[label="toUpper1 (Char (Succ vx243)) (not False && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="triangle"];1309 -> 1318[label="",style="solid", color="black", weight=3];
1310[label="toUpper1 (Char (Succ vx243)) (not True && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1310 -> 1319[label="",style="solid", color="black", weight=3];
1311 -> 1309[label="",style="dashed", color="red", weight=0];
1311[label="toUpper1 (Char (Succ vx243)) (not False && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="magenta"];560[label="toUpper0 (Char Zero) True",fontsize=16,color="black",shape="box"];560 -> 587[label="",style="solid", color="black", weight=3];
1312[label="vx235",fontsize=16,color="green",shape="box"];1313[label="vx238",fontsize=16,color="green",shape="box"];1314[label="vx240",fontsize=16,color="green",shape="box"];1315[label="vx241",fontsize=16,color="green",shape="box"];1316[label="vx239",fontsize=16,color="green",shape="box"];1317[label="toUpper1 (Char (Succ vx235)) True",fontsize=16,color="black",shape="triangle"];1317 -> 1320[label="",style="solid", color="black", weight=3];
1318[label="toUpper1 (Char (Succ vx243)) (True && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1318 -> 1321[label="",style="solid", color="black", weight=3];
1319[label="toUpper1 (Char (Succ vx243)) (False && Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1319 -> 1322[label="",style="solid", color="black", weight=3];
587[label="Char Zero",fontsize=16,color="green",shape="box"];1320[label="toEnum (fromEnum (Char (Succ vx235)) - fromEnum (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) + fromEnum (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="black",shape="box"];1320 -> 1355[label="",style="solid", color="black", weight=3];
1321[label="toUpper1 (Char (Succ vx243)) (Char (Succ vx243) <= Char (Succ vx246) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1321 -> 1326[label="",style="solid", color="black", weight=3];
1322[label="toUpper1 (Char (Succ vx243)) (False || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="triangle"];1322 -> 1327[label="",style="solid", color="black", weight=3];
1355 -> 1397[label="",style="dashed", color="red", weight=0];
1355[label="primIntToChar (fromEnum (Char (Succ vx235)) - fromEnum (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) + fromEnum (Char (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="magenta"];1355 -> 1398[label="",style="dashed", color="magenta", weight=3];
1355 -> 1399[label="",style="dashed", color="magenta", weight=3];
1355 -> 1400[label="",style="dashed", color="magenta", weight=3];
1326[label="toUpper1 (Char (Succ vx243)) (compare (Char (Succ vx243)) (Char (Succ vx246)) /= GT || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1326 -> 1344[label="",style="solid", color="black", weight=3];
1327[label="toUpper1 (Char (Succ vx243)) (Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1327 -> 1345[label="",style="solid", color="black", weight=3];
1398[label="vx235",fontsize=16,color="green",shape="box"];1399[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];1400[label="Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ (Succ Zero)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))",fontsize=16,color="green",shape="box"];1397[label="primIntToChar (fromEnum (Char (Succ vx260)) - fromEnum (Char (Succ vx261)) + fromEnum (Char (Succ vx262)))",fontsize=16,color="black",shape="triangle"];1397 -> 1404[label="",style="solid", color="black", weight=3];
1344[label="toUpper1 (Char (Succ vx243)) (not (compare (Char (Succ vx243)) (Char (Succ vx246)) == GT) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1344 -> 1365[label="",style="solid", color="black", weight=3];
1345[label="toUpper1 (Char (Succ vx243)) (compare (Char (Succ vx243)) (Char (Succ vx247)) /= LT && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1345 -> 1366[label="",style="solid", color="black", weight=3];
1404[label="primIntToChar (primPlusInt (fromEnum (Char (Succ vx260)) - fromEnum (Char (Succ vx261))) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1404 -> 1407[label="",style="solid", color="black", weight=3];
1365[label="toUpper1 (Char (Succ vx243)) (not (primCmpChar (Char (Succ vx243)) (Char (Succ vx246)) == GT) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1365 -> 1405[label="",style="solid", color="black", weight=3];
1366[label="toUpper1 (Char (Succ vx243)) (not (compare (Char (Succ vx243)) (Char (Succ vx247)) == LT) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1366 -> 1406[label="",style="solid", color="black", weight=3];
1407[label="primIntToChar (primPlusInt (primMinusInt (fromEnum (Char (Succ vx260))) (fromEnum (Char (Succ vx261)))) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1407 -> 1410[label="",style="solid", color="black", weight=3];
1405 -> 1634[label="",style="dashed", color="red", weight=0];
1405[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat (Succ vx243) (Succ vx246) == GT) || Char (Succ vx243) >= Char (Succ vx247) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="magenta"];1405 -> 1635[label="",style="dashed", color="magenta", weight=3];
1405 -> 1636[label="",style="dashed", color="magenta", weight=3];
1405 -> 1637[label="",style="dashed", color="magenta", weight=3];
1405 -> 1638[label="",style="dashed", color="magenta", weight=3];
1405 -> 1639[label="",style="dashed", color="magenta", weight=3];
1406[label="toUpper1 (Char (Succ vx243)) (not (primCmpChar (Char (Succ vx243)) (Char (Succ vx247)) == LT) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="black",shape="box"];1406 -> 1409[label="",style="solid", color="black", weight=3];
1410[label="primIntToChar (primPlusInt (primMinusInt (primCharToInt (Char (Succ vx260))) (fromEnum (Char (Succ vx261)))) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1410 -> 1414[label="",style="solid", color="black", weight=3];
1635[label="vx243",fontsize=16,color="green",shape="box"];1636[label="Succ vx243",fontsize=16,color="green",shape="box"];1637[label="Succ vx246",fontsize=16,color="green",shape="box"];1638[label="vx247",fontsize=16,color="green",shape="box"];1639[label="vx248",fontsize=16,color="green",shape="box"];1634[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat vx265 vx266 == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="burlywood",shape="triangle"];1946[label="vx265/Succ vx2650",fontsize=10,color="white",style="solid",shape="box"];1634 -> 1946[label="",style="solid", color="burlywood", weight=9];
1946 -> 1670[label="",style="solid", color="burlywood", weight=3];
1947[label="vx265/Zero",fontsize=10,color="white",style="solid",shape="box"];1634 -> 1947[label="",style="solid", color="burlywood", weight=9];
1947 -> 1671[label="",style="solid", color="burlywood", weight=3];
1409 -> 1699[label="",style="dashed", color="red", weight=0];
1409[label="toUpper1 (Char (Succ vx243)) (not (primCmpNat (Succ vx243) (Succ vx247) == LT) && Char (Succ vx243) <= Char (Succ vx248))",fontsize=16,color="magenta"];1409 -> 1700[label="",style="dashed", color="magenta", weight=3];
1409 -> 1701[label="",style="dashed", color="magenta", weight=3];
1409 -> 1702[label="",style="dashed", color="magenta", weight=3];
1409 -> 1703[label="",style="dashed", color="magenta", weight=3];
1414[label="primIntToChar (primPlusInt (primMinusInt (Pos (Succ vx260)) (fromEnum (Char (Succ vx261)))) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1414 -> 1421[label="",style="solid", color="black", weight=3];
1670[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat (Succ vx2650) vx266 == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="burlywood",shape="box"];1949[label="vx266/Succ vx2660",fontsize=10,color="white",style="solid",shape="box"];1670 -> 1949[label="",style="solid", color="burlywood", weight=9];
1949 -> 1691[label="",style="solid", color="burlywood", weight=3];
1950[label="vx266/Zero",fontsize=10,color="white",style="solid",shape="box"];1670 -> 1950[label="",style="solid", color="burlywood", weight=9];
1950 -> 1692[label="",style="solid", color="burlywood", weight=3];
1671[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat Zero vx266 == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="burlywood",shape="box"];1951[label="vx266/Succ vx2660",fontsize=10,color="white",style="solid",shape="box"];1671 -> 1951[label="",style="solid", color="burlywood", weight=9];
1951 -> 1693[label="",style="solid", color="burlywood", weight=3];
1952[label="vx266/Zero",fontsize=10,color="white",style="solid",shape="box"];1671 -> 1952[label="",style="solid", color="burlywood", weight=9];
1952 -> 1694[label="",style="solid", color="burlywood", weight=3];
1700[label="Succ vx243",fontsize=16,color="green",shape="box"];1701[label="vx248",fontsize=16,color="green",shape="box"];1702[label="Succ vx247",fontsize=16,color="green",shape="box"];1703[label="vx243",fontsize=16,color="green",shape="box"];1699[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat vx271 vx272 == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="burlywood",shape="triangle"];1953[label="vx271/Succ vx2710",fontsize=10,color="white",style="solid",shape="box"];1699 -> 1953[label="",style="solid", color="burlywood", weight=9];
1953 -> 1728[label="",style="solid", color="burlywood", weight=3];
1954[label="vx271/Zero",fontsize=10,color="white",style="solid",shape="box"];1699 -> 1954[label="",style="solid", color="burlywood", weight=9];
1954 -> 1729[label="",style="solid", color="burlywood", weight=3];
1421[label="primIntToChar (primPlusInt (primMinusInt (Pos (Succ vx260)) (primCharToInt (Char (Succ vx261)))) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1421 -> 1430[label="",style="solid", color="black", weight=3];
1691[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat (Succ vx2650) (Succ vx2660) == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1691 -> 1730[label="",style="solid", color="black", weight=3];
1692[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat (Succ vx2650) Zero == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1692 -> 1731[label="",style="solid", color="black", weight=3];
1693[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat Zero (Succ vx2660) == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1693 -> 1732[label="",style="solid", color="black", weight=3];
1694[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat Zero Zero == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1694 -> 1733[label="",style="solid", color="black", weight=3];
1728[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat (Succ vx2710) vx272 == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="burlywood",shape="box"];1955[label="vx272/Succ vx2720",fontsize=10,color="white",style="solid",shape="box"];1728 -> 1955[label="",style="solid", color="burlywood", weight=9];
1955 -> 1738[label="",style="solid", color="burlywood", weight=3];
1956[label="vx272/Zero",fontsize=10,color="white",style="solid",shape="box"];1728 -> 1956[label="",style="solid", color="burlywood", weight=9];
1956 -> 1739[label="",style="solid", color="burlywood", weight=3];
1729[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat Zero vx272 == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="burlywood",shape="box"];1957[label="vx272/Succ vx2720",fontsize=10,color="white",style="solid",shape="box"];1729 -> 1957[label="",style="solid", color="burlywood", weight=9];
1957 -> 1740[label="",style="solid", color="burlywood", weight=3];
1958[label="vx272/Zero",fontsize=10,color="white",style="solid",shape="box"];1729 -> 1958[label="",style="solid", color="burlywood", weight=9];
1958 -> 1741[label="",style="solid", color="burlywood", weight=3];
1430[label="primIntToChar (primPlusInt (primMinusInt (Pos (Succ vx260)) (Pos (Succ vx261))) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1430 -> 1440[label="",style="solid", color="black", weight=3];
1730 -> 1634[label="",style="dashed", color="red", weight=0];
1730[label="toUpper1 (Char (Succ vx264)) (not (primCmpNat vx2650 vx2660 == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="magenta"];1730 -> 1742[label="",style="dashed", color="magenta", weight=3];
1730 -> 1743[label="",style="dashed", color="magenta", weight=3];
1731[label="toUpper1 (Char (Succ vx264)) (not (GT == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1731 -> 1744[label="",style="solid", color="black", weight=3];
1732[label="toUpper1 (Char (Succ vx264)) (not (LT == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1732 -> 1745[label="",style="solid", color="black", weight=3];
1733[label="toUpper1 (Char (Succ vx264)) (not (EQ == GT) || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1733 -> 1746[label="",style="solid", color="black", weight=3];
1738[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat (Succ vx2710) (Succ vx2720) == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1738 -> 1748[label="",style="solid", color="black", weight=3];
1739[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat (Succ vx2710) Zero == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1739 -> 1749[label="",style="solid", color="black", weight=3];
1740[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat Zero (Succ vx2720) == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1740 -> 1750[label="",style="solid", color="black", weight=3];
1741[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat Zero Zero == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1741 -> 1751[label="",style="solid", color="black", weight=3];
1440[label="primIntToChar (primPlusInt (primMinusNat (Succ vx260) (Succ vx261)) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1440 -> 1452[label="",style="solid", color="black", weight=3];
1742[label="vx2650",fontsize=16,color="green",shape="box"];1743[label="vx2660",fontsize=16,color="green",shape="box"];1744[label="toUpper1 (Char (Succ vx264)) (not True || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1744 -> 1752[label="",style="solid", color="black", weight=3];
1745[label="toUpper1 (Char (Succ vx264)) (not False || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="triangle"];1745 -> 1753[label="",style="solid", color="black", weight=3];
1746 -> 1745[label="",style="dashed", color="red", weight=0];
1746[label="toUpper1 (Char (Succ vx264)) (not False || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="magenta"];1748 -> 1699[label="",style="dashed", color="red", weight=0];
1748[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat vx2710 vx2720 == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="magenta"];1748 -> 1756[label="",style="dashed", color="magenta", weight=3];
1748 -> 1757[label="",style="dashed", color="magenta", weight=3];
1749[label="toUpper1 (Char (Succ vx270)) (not (GT == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1749 -> 1758[label="",style="solid", color="black", weight=3];
1750[label="toUpper1 (Char (Succ vx270)) (not (LT == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1750 -> 1759[label="",style="solid", color="black", weight=3];
1751[label="toUpper1 (Char (Succ vx270)) (not (EQ == LT) && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1751 -> 1760[label="",style="solid", color="black", weight=3];
1452[label="primIntToChar (primPlusInt (primMinusNat vx260 vx261) (fromEnum (Char (Succ vx262))))",fontsize=16,color="burlywood",shape="triangle"];1962[label="vx260/Succ vx2600",fontsize=10,color="white",style="solid",shape="box"];1452 -> 1962[label="",style="solid", color="burlywood", weight=9];
1962 -> 1466[label="",style="solid", color="burlywood", weight=3];
1963[label="vx260/Zero",fontsize=10,color="white",style="solid",shape="box"];1452 -> 1963[label="",style="solid", color="burlywood", weight=9];
1963 -> 1467[label="",style="solid", color="burlywood", weight=3];
1752 -> 1322[label="",style="dashed", color="red", weight=0];
1752[label="toUpper1 (Char (Succ vx264)) (False || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="magenta"];1752 -> 1761[label="",style="dashed", color="magenta", weight=3];
1752 -> 1762[label="",style="dashed", color="magenta", weight=3];
1752 -> 1763[label="",style="dashed", color="magenta", weight=3];
1753[label="toUpper1 (Char (Succ vx264)) (True || Char (Succ vx264) >= Char (Succ vx267) && Char (Succ vx264) <= Char (Succ vx268))",fontsize=16,color="black",shape="box"];1753 -> 1764[label="",style="solid", color="black", weight=3];
1756[label="vx2710",fontsize=16,color="green",shape="box"];1757[label="vx2720",fontsize=16,color="green",shape="box"];1758[label="toUpper1 (Char (Succ vx270)) (not False && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="triangle"];1758 -> 1765[label="",style="solid", color="black", weight=3];
1759[label="toUpper1 (Char (Succ vx270)) (not True && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1759 -> 1766[label="",style="solid", color="black", weight=3];
1760 -> 1758[label="",style="dashed", color="red", weight=0];
1760[label="toUpper1 (Char (Succ vx270)) (not False && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="magenta"];1466[label="primIntToChar (primPlusInt (primMinusNat (Succ vx2600) vx261) (fromEnum (Char (Succ vx262))))",fontsize=16,color="burlywood",shape="box"];1966[label="vx261/Succ vx2610",fontsize=10,color="white",style="solid",shape="box"];1466 -> 1966[label="",style="solid", color="burlywood", weight=9];
1966 -> 1481[label="",style="solid", color="burlywood", weight=3];
1967[label="vx261/Zero",fontsize=10,color="white",style="solid",shape="box"];1466 -> 1967[label="",style="solid", color="burlywood", weight=9];
1967 -> 1482[label="",style="solid", color="burlywood", weight=3];
1467[label="primIntToChar (primPlusInt (primMinusNat Zero vx261) (fromEnum (Char (Succ vx262))))",fontsize=16,color="burlywood",shape="box"];1968[label="vx261/Succ vx2610",fontsize=10,color="white",style="solid",shape="box"];1467 -> 1968[label="",style="solid", color="burlywood", weight=9];
1968 -> 1483[label="",style="solid", color="burlywood", weight=3];
1969[label="vx261/Zero",fontsize=10,color="white",style="solid",shape="box"];1467 -> 1969[label="",style="solid", color="burlywood", weight=9];
1969 -> 1484[label="",style="solid", color="burlywood", weight=3];
1761[label="vx267",fontsize=16,color="green",shape="box"];1762[label="vx268",fontsize=16,color="green",shape="box"];1763[label="vx264",fontsize=16,color="green",shape="box"];1764 -> 1317[label="",style="dashed", color="red", weight=0];
1764[label="toUpper1 (Char (Succ vx264)) True",fontsize=16,color="magenta"];1764 -> 1767[label="",style="dashed", color="magenta", weight=3];
1765[label="toUpper1 (Char (Succ vx270)) (True && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1765 -> 1768[label="",style="solid", color="black", weight=3];
1766[label="toUpper1 (Char (Succ vx270)) (False && Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1766 -> 1769[label="",style="solid", color="black", weight=3];
1481[label="primIntToChar (primPlusInt (primMinusNat (Succ vx2600) (Succ vx2610)) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1481 -> 1498[label="",style="solid", color="black", weight=3];
1482[label="primIntToChar (primPlusInt (primMinusNat (Succ vx2600) Zero) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1482 -> 1499[label="",style="solid", color="black", weight=3];
1483[label="primIntToChar (primPlusInt (primMinusNat Zero (Succ vx2610)) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1483 -> 1500[label="",style="solid", color="black", weight=3];
1484[label="primIntToChar (primPlusInt (primMinusNat Zero Zero) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1484 -> 1501[label="",style="solid", color="black", weight=3];
1767[label="vx264",fontsize=16,color="green",shape="box"];1768[label="toUpper1 (Char (Succ vx270)) (Char (Succ vx270) <= Char (Succ vx273))",fontsize=16,color="black",shape="box"];1768 -> 1770[label="",style="solid", color="black", weight=3];
1769[label="toUpper1 (Char (Succ vx270)) False",fontsize=16,color="black",shape="triangle"];1769 -> 1771[label="",style="solid", color="black", weight=3];
1498 -> 1452[label="",style="dashed", color="red", weight=0];
1498[label="primIntToChar (primPlusInt (primMinusNat vx2600 vx2610) (fromEnum (Char (Succ vx262))))",fontsize=16,color="magenta"];1498 -> 1516[label="",style="dashed", color="magenta", weight=3];
1498 -> 1517[label="",style="dashed", color="magenta", weight=3];
1499[label="primIntToChar (primPlusInt (Pos (Succ vx2600)) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1499 -> 1518[label="",style="solid", color="black", weight=3];
1500[label="primIntToChar (primPlusInt (Neg (Succ vx2610)) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1500 -> 1519[label="",style="solid", color="black", weight=3];
1501[label="primIntToChar (primPlusInt (Pos Zero) (fromEnum (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1501 -> 1520[label="",style="solid", color="black", weight=3];
1770[label="toUpper1 (Char (Succ vx270)) (compare (Char (Succ vx270)) (Char (Succ vx273)) /= GT)",fontsize=16,color="black",shape="box"];1770 -> 1772[label="",style="solid", color="black", weight=3];
1771[label="toUpper0 (Char (Succ vx270)) otherwise",fontsize=16,color="black",shape="box"];1771 -> 1773[label="",style="solid", color="black", weight=3];
1516[label="vx2600",fontsize=16,color="green",shape="box"];1517[label="vx2610",fontsize=16,color="green",shape="box"];1518[label="primIntToChar (primPlusInt (Pos (Succ vx2600)) (primCharToInt (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1518 -> 1535[label="",style="solid", color="black", weight=3];
1519[label="primIntToChar (primPlusInt (Neg (Succ vx2610)) (primCharToInt (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1519 -> 1536[label="",style="solid", color="black", weight=3];
1520[label="primIntToChar (primPlusInt (Pos Zero) (primCharToInt (Char (Succ vx262))))",fontsize=16,color="black",shape="box"];1520 -> 1537[label="",style="solid", color="black", weight=3];
1772[label="toUpper1 (Char (Succ vx270)) (not (compare (Char (Succ vx270)) (Char (Succ vx273)) == GT))",fontsize=16,color="black",shape="box"];1772 -> 1774[label="",style="solid", color="black", weight=3];
1773[label="toUpper0 (Char (Succ vx270)) True",fontsize=16,color="black",shape="box"];1773 -> 1775[label="",style="solid", color="black", weight=3];
1535[label="primIntToChar (primPlusInt (Pos (Succ vx2600)) (Pos (Succ vx262)))",fontsize=16,color="black",shape="box"];1535 -> 1551[label="",style="solid", color="black", weight=3];
1536[label="primIntToChar (primPlusInt (Neg (Succ vx2610)) (Pos (Succ vx262)))",fontsize=16,color="black",shape="box"];1536 -> 1552[label="",style="solid", color="black", weight=3];
1537[label="primIntToChar (primPlusInt (Pos Zero) (Pos (Succ vx262)))",fontsize=16,color="black",shape="box"];1537 -> 1553[label="",style="solid", color="black", weight=3];
1774[label="toUpper1 (Char (Succ vx270)) (not (primCmpChar (Char (Succ vx270)) (Char (Succ vx273)) == GT))",fontsize=16,color="black",shape="box"];1774 -> 1776[label="",style="solid", color="black", weight=3];
1775[label="Char (Succ vx270)",fontsize=16,color="green",shape="box"];1551[label="primIntToChar (Pos (primPlusNat (Succ vx2600) (Succ vx262)))",fontsize=16,color="black",shape="box"];1551 -> 1568[label="",style="solid", color="black", weight=3];
1552[label="primIntToChar (primMinusNat (Succ vx262) (Succ vx2610))",fontsize=16,color="black",shape="box"];1552 -> 1569[label="",style="solid", color="black", weight=3];
1553[label="primIntToChar (Pos (primPlusNat Zero (Succ vx262)))",fontsize=16,color="black",shape="box"];1553 -> 1570[label="",style="solid", color="black", weight=3];
1776 -> 1850[label="",style="dashed", color="red", weight=0];
1776[label="toUpper1 (Char (Succ vx270)) (not (primCmpNat (Succ vx270) (Succ vx273) == GT))",fontsize=16,color="magenta"];1776 -> 1851[label="",style="dashed", color="magenta", weight=3];
1776 -> 1852[label="",style="dashed", color="magenta", weight=3];
1776 -> 1853[label="",style="dashed", color="magenta", weight=3];
1568[label="Char (primPlusNat (Succ vx2600) (Succ vx262))",fontsize=16,color="green",shape="box"];1568 -> 1587[label="",style="dashed", color="green", weight=3];
1569[label="primIntToChar (primMinusNat vx262 vx2610)",fontsize=16,color="burlywood",shape="triangle"];1973[label="vx262/Succ vx2620",fontsize=10,color="white",style="solid",shape="box"];1569 -> 1973[label="",style="solid", color="burlywood", weight=9];
1973 -> 1588[label="",style="solid", color="burlywood", weight=3];
1974[label="vx262/Zero",fontsize=10,color="white",style="solid",shape="box"];1569 -> 1974[label="",style="solid", color="burlywood", weight=9];
1974 -> 1589[label="",style="solid", color="burlywood", weight=3];
1570[label="Char (primPlusNat Zero (Succ vx262))",fontsize=16,color="green",shape="box"];1570 -> 1590[label="",style="dashed", color="green", weight=3];
1851[label="Succ vx273",fontsize=16,color="green",shape="box"];1852[label="vx270",fontsize=16,color="green",shape="box"];1853[label="Succ vx270",fontsize=16,color="green",shape="box"];1850[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat vx276 vx277 == GT))",fontsize=16,color="burlywood",shape="triangle"];1975[label="vx276/Succ vx2760",fontsize=10,color="white",style="solid",shape="box"];1850 -> 1975[label="",style="solid", color="burlywood", weight=9];
1975 -> 1872[label="",style="solid", color="burlywood", weight=3];
1976[label="vx276/Zero",fontsize=10,color="white",style="solid",shape="box"];1850 -> 1976[label="",style="solid", color="burlywood", weight=9];
1976 -> 1873[label="",style="solid", color="burlywood", weight=3];
1587[label="primPlusNat (Succ vx2600) (Succ vx262)",fontsize=16,color="black",shape="box"];1587 -> 1606[label="",style="solid", color="black", weight=3];
1588[label="primIntToChar (primMinusNat (Succ vx2620) vx2610)",fontsize=16,color="burlywood",shape="box"];1977[label="vx2610/Succ vx26100",fontsize=10,color="white",style="solid",shape="box"];1588 -> 1977[label="",style="solid", color="burlywood", weight=9];
1977 -> 1607[label="",style="solid", color="burlywood", weight=3];
1978[label="vx2610/Zero",fontsize=10,color="white",style="solid",shape="box"];1588 -> 1978[label="",style="solid", color="burlywood", weight=9];
1978 -> 1608[label="",style="solid", color="burlywood", weight=3];
1589[label="primIntToChar (primMinusNat Zero vx2610)",fontsize=16,color="burlywood",shape="box"];1979[label="vx2610/Succ vx26100",fontsize=10,color="white",style="solid",shape="box"];1589 -> 1979[label="",style="solid", color="burlywood", weight=9];
1979 -> 1609[label="",style="solid", color="burlywood", weight=3];
1980[label="vx2610/Zero",fontsize=10,color="white",style="solid",shape="box"];1589 -> 1980[label="",style="solid", color="burlywood", weight=9];
1980 -> 1610[label="",style="solid", color="burlywood", weight=3];
1590[label="primPlusNat Zero (Succ vx262)",fontsize=16,color="black",shape="box"];1590 -> 1611[label="",style="solid", color="black", weight=3];
1872[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat (Succ vx2760) vx277 == GT))",fontsize=16,color="burlywood",shape="box"];1981[label="vx277/Succ vx2770",fontsize=10,color="white",style="solid",shape="box"];1872 -> 1981[label="",style="solid", color="burlywood", weight=9];
1981 -> 1874[label="",style="solid", color="burlywood", weight=3];
1982[label="vx277/Zero",fontsize=10,color="white",style="solid",shape="box"];1872 -> 1982[label="",style="solid", color="burlywood", weight=9];
1982 -> 1875[label="",style="solid", color="burlywood", weight=3];
1873[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat Zero vx277 == GT))",fontsize=16,color="burlywood",shape="box"];1983[label="vx277/Succ vx2770",fontsize=10,color="white",style="solid",shape="box"];1873 -> 1983[label="",style="solid", color="burlywood", weight=9];
1983 -> 1876[label="",style="solid", color="burlywood", weight=3];
1984[label="vx277/Zero",fontsize=10,color="white",style="solid",shape="box"];1873 -> 1984[label="",style="solid", color="burlywood", weight=9];
1984 -> 1877[label="",style="solid", color="burlywood", weight=3];
1606[label="Succ (Succ (primPlusNat vx2600 vx262))",fontsize=16,color="green",shape="box"];1606 -> 1629[label="",style="dashed", color="green", weight=3];
1607[label="primIntToChar (primMinusNat (Succ vx2620) (Succ vx26100))",fontsize=16,color="black",shape="box"];1607 -> 1630[label="",style="solid", color="black", weight=3];
1608[label="primIntToChar (primMinusNat (Succ vx2620) Zero)",fontsize=16,color="black",shape="box"];1608 -> 1631[label="",style="solid", color="black", weight=3];
1609[label="primIntToChar (primMinusNat Zero (Succ vx26100))",fontsize=16,color="black",shape="box"];1609 -> 1632[label="",style="solid", color="black", weight=3];
1610[label="primIntToChar (primMinusNat Zero Zero)",fontsize=16,color="black",shape="box"];1610 -> 1633[label="",style="solid", color="black", weight=3];
1611[label="Succ vx262",fontsize=16,color="green",shape="box"];1874[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat (Succ vx2760) (Succ vx2770) == GT))",fontsize=16,color="black",shape="box"];1874 -> 1878[label="",style="solid", color="black", weight=3];
1875[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat (Succ vx2760) Zero == GT))",fontsize=16,color="black",shape="box"];1875 -> 1879[label="",style="solid", color="black", weight=3];
1876[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat Zero (Succ vx2770) == GT))",fontsize=16,color="black",shape="box"];1876 -> 1880[label="",style="solid", color="black", weight=3];
1877[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat Zero Zero == GT))",fontsize=16,color="black",shape="box"];1877 -> 1881[label="",style="solid", color="black", weight=3];
1629[label="primPlusNat vx2600 vx262",fontsize=16,color="burlywood",shape="triangle"];1985[label="vx2600/Succ vx26000",fontsize=10,color="white",style="solid",shape="box"];1629 -> 1985[label="",style="solid", color="burlywood", weight=9];
1985 -> 1672[label="",style="solid", color="burlywood", weight=3];
1986[label="vx2600/Zero",fontsize=10,color="white",style="solid",shape="box"];1629 -> 1986[label="",style="solid", color="burlywood", weight=9];
1986 -> 1673[label="",style="solid", color="burlywood", weight=3];
1630 -> 1569[label="",style="dashed", color="red", weight=0];
1630[label="primIntToChar (primMinusNat vx2620 vx26100)",fontsize=16,color="magenta"];1630 -> 1674[label="",style="dashed", color="magenta", weight=3];
1630 -> 1675[label="",style="dashed", color="magenta", weight=3];
1631[label="primIntToChar (Pos (Succ vx2620))",fontsize=16,color="black",shape="box"];1631 -> 1676[label="",style="solid", color="black", weight=3];
1632[label="primIntToChar (Neg (Succ vx26100))",fontsize=16,color="black",shape="box"];1632 -> 1677[label="",style="solid", color="black", weight=3];
1633[label="primIntToChar (Pos Zero)",fontsize=16,color="black",shape="box"];1633 -> 1678[label="",style="solid", color="black", weight=3];
1878 -> 1850[label="",style="dashed", color="red", weight=0];
1878[label="toUpper1 (Char (Succ vx275)) (not (primCmpNat vx2760 vx2770 == GT))",fontsize=16,color="magenta"];1878 -> 1882[label="",style="dashed", color="magenta", weight=3];
1878 -> 1883[label="",style="dashed", color="magenta", weight=3];
1879[label="toUpper1 (Char (Succ vx275)) (not (GT == GT))",fontsize=16,color="black",shape="box"];1879 -> 1884[label="",style="solid", color="black", weight=3];
1880[label="toUpper1 (Char (Succ vx275)) (not (LT == GT))",fontsize=16,color="black",shape="box"];1880 -> 1885[label="",style="solid", color="black", weight=3];
1881[label="toUpper1 (Char (Succ vx275)) (not (EQ == GT))",fontsize=16,color="black",shape="box"];1881 -> 1886[label="",style="solid", color="black", weight=3];
1672[label="primPlusNat (Succ vx26000) vx262",fontsize=16,color="burlywood",shape="box"];1989[label="vx262/Succ vx2620",fontsize=10,color="white",style="solid",shape="box"];1672 -> 1989[label="",style="solid", color="burlywood", weight=9];
1989 -> 1695[label="",style="solid", color="burlywood", weight=3];
1990[label="vx262/Zero",fontsize=10,color="white",style="solid",shape="box"];1672 -> 1990[label="",style="solid", color="burlywood", weight=9];
1990 -> 1696[label="",style="solid", color="burlywood", weight=3];
1673[label="primPlusNat Zero vx262",fontsize=16,color="burlywood",shape="box"];1991[label="vx262/Succ vx2620",fontsize=10,color="white",style="solid",shape="box"];1673 -> 1991[label="",style="solid", color="burlywood", weight=9];
1991 -> 1697[label="",style="solid", color="burlywood", weight=3];
1992[label="vx262/Zero",fontsize=10,color="white",style="solid",shape="box"];1673 -> 1992[label="",style="solid", color="burlywood", weight=9];
1992 -> 1698[label="",style="solid", color="burlywood", weight=3];
1674[label="vx26100",fontsize=16,color="green",shape="box"];1675[label="vx2620",fontsize=16,color="green",shape="box"];1676[label="Char (Succ vx2620)",fontsize=16,color="green",shape="box"];1677[label="error []",fontsize=16,color="red",shape="box"];1678[label="Char Zero",fontsize=16,color="green",shape="box"];1882[label="vx2770",fontsize=16,color="green",shape="box"];1883[label="vx2760",fontsize=16,color="green",shape="box"];1884[label="toUpper1 (Char (Succ vx275)) (not True)",fontsize=16,color="black",shape="box"];1884 -> 1887[label="",style="solid", color="black", weight=3];
1885[label="toUpper1 (Char (Succ vx275)) (not False)",fontsize=16,color="black",shape="triangle"];1885 -> 1888[label="",style="solid", color="black", weight=3];
1886 -> 1885[label="",style="dashed", color="red", weight=0];
1886[label="toUpper1 (Char (Succ vx275)) (not False)",fontsize=16,color="magenta"];1695[label="primPlusNat (Succ vx26000) (Succ vx2620)",fontsize=16,color="black",shape="box"];1695 -> 1734[label="",style="solid", color="black", weight=3];
1696[label="primPlusNat (Succ vx26000) Zero",fontsize=16,color="black",shape="box"];1696 -> 1735[label="",style="solid", color="black", weight=3];
1697[label="primPlusNat Zero (Succ vx2620)",fontsize=16,color="black",shape="box"];1697 -> 1736[label="",style="solid", color="black", weight=3];
1698[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1698 -> 1737[label="",style="solid", color="black", weight=3];
1887 -> 1769[label="",style="dashed", color="red", weight=0];
1887[label="toUpper1 (Char (Succ vx275)) False",fontsize=16,color="magenta"];1887 -> 1889[label="",style="dashed", color="magenta", weight=3];
1888 -> 1317[label="",style="dashed", color="red", weight=0];
1888[label="toUpper1 (Char (Succ vx275)) True",fontsize=16,color="magenta"];1888 -> 1890[label="",style="dashed", color="magenta", weight=3];
1734[label="Succ (Succ (primPlusNat vx26000 vx2620))",fontsize=16,color="green",shape="box"];1734 -> 1747[label="",style="dashed", color="green", weight=3];
1735[label="Succ vx26000",fontsize=16,color="green",shape="box"];1736[label="Succ vx2620",fontsize=16,color="green",shape="box"];1737[label="Zero",fontsize=16,color="green",shape="box"];1889[label="vx275",fontsize=16,color="green",shape="box"];1890[label="vx275",fontsize=16,color="green",shape="box"];1747 -> 1629[label="",style="dashed", color="red", weight=0];
1747[label="primPlusNat vx26000 vx2620",fontsize=16,color="magenta"];1747 -> 1754[label="",style="dashed", color="magenta", weight=3];
1747 -> 1755[label="",style="dashed", color="magenta", weight=3];
1754[label="vx26000",fontsize=16,color="green",shape="box"];1755[label="vx2620",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primIntToChar(Succ(vx2620), Succ(vx26100)) → new_primIntToChar(vx2620, vx26100)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primIntToChar(Succ(vx2620), Succ(vx26100)) → new_primIntToChar(vx2620, vx26100)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(vx26000), Succ(vx2620)) → new_primPlusNat(vx26000, vx2620)

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(vx26000), Succ(vx2620)) → new_primPlusNat(vx26000, vx2620)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primIntToChar0(Succ(vx2600), Succ(vx2610), vx262) → new_primIntToChar0(vx2600, vx2610, vx262)

From the DPs we obtained the following set of size-change graphs:

new_primIntToChar0(Succ(vx2600), Succ(vx2610), vx262) → new_primIntToChar0(vx2600, vx2610, vx262)
The graph contains the following edges 1 > 1, 2 > 2, 3 >= 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_toUpper1(vx275, Succ(vx2760), Succ(vx2770)) → new_toUpper1(vx275, vx2760, vx2770)

From the DPs we obtained the following set of size-change graphs:

new_toUpper1(vx275, Succ(vx2760), Succ(vx2770)) → new_toUpper1(vx275, vx2760, vx2770)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_toUpper10(vx270, Succ(vx2710), Succ(vx2720), vx273) → new_toUpper10(vx270, vx2710, vx2720, vx273)

From the DPs we obtained the following set of size-change graphs:

new_toUpper10(vx270, Succ(vx2710), Succ(vx2720), vx273) → new_toUpper10(vx270, vx2710, vx2720, vx273)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_toUpper11(vx264, Succ(vx2650), Succ(vx2660), vx267, vx268) → new_toUpper11(vx264, vx2650, vx2660, vx267, vx268)

From the DPs we obtained the following set of size-change graphs:

new_toUpper11(vx264, Succ(vx2650), Succ(vx2660), vx267, vx268) → new_toUpper11(vx264, vx2650, vx2660, vx267, vx268)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_toUpper12(vx243, Succ(vx2440), Succ(vx2450), vx246, vx247, vx248) → new_toUpper12(vx243, vx2440, vx2450, vx246, vx247, vx248)

From the DPs we obtained the following set of size-change graphs:

new_toUpper12(vx243, Succ(vx2440), Succ(vx2450), vx246, vx247, vx248) → new_toUpper12(vx243, vx2440, vx2450, vx246, vx247, vx248)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5, 6 >= 6

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_toUpper13(vx235, Succ(vx2360), Succ(vx2370), vx238, vx239, vx240, vx241) → new_toUpper13(vx235, vx2360, vx2370, vx238, vx239, vx240, vx241)

From the DPs we obtained the following set of size-change graphs:

new_toUpper13(vx235, Succ(vx2360), Succ(vx2370), vx238, vx239, vx240, vx241) → new_toUpper13(vx235, vx2360, vx2370, vx238, vx239, vx240, vx241)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_toUpper14(vx201, Succ(vx2020), Succ(vx2030), vx204, vx205, vx206, vx207, vx208) → new_toUpper14(vx201, vx2020, vx2030, vx204, vx205, vx206, vx207, vx208)

From the DPs we obtained the following set of size-change graphs:

new_toUpper14(vx201, Succ(vx2020), Succ(vx2030), vx204, vx205, vx206, vx207, vx208) → new_toUpper14(vx201, vx2020, vx2030, vx204, vx205, vx206, vx207, vx208)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4, 5 >= 5, 6 >= 6, 7 >= 7, 8 >= 8

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_toUpper2(vx164, Succ(vx1650), Succ(vx1660)) → new_toUpper2(vx164, vx1650, vx1660)

From the DPs we obtained the following set of size-change graphs:

new_toUpper2(vx164, Succ(vx1650), Succ(vx1660)) → new_toUpper2(vx164, vx1650, vx1660)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_toUpper20(vx99, Succ(vx1000), Succ(vx1010), vx102) → new_toUpper20(vx99, vx1000, vx1010, vx102)

From the DPs we obtained the following set of size-change graphs:

new_toUpper20(vx99, Succ(vx1000), Succ(vx1010), vx102) → new_toUpper20(vx99, vx1000, vx1010, vx102)
The graph contains the following edges 1 >= 1, 2 > 2, 3 > 3, 4 >= 4

toUpper1	c True	= toEnum (fromEnum c - fromEnum 'a' + fromEnum 'A')
toUpper1	c False	= toUpper0 c otherwise